A Transformational Approach for Asynchronous Test Case Generation from Test Purposes
نویسندگان
چکیده
منابع مشابه
Model-Based Testing of Industrial Transformational Systems
We present an approach for modeling and testing transformational systems in an industrial context. The systems are modeled as a set of boolean formulas. Each formula is called a clause and is an expression for an expected output value. To manage complexities of the models, we employ a modeling trick for handling dependencies, by using some output values from the system under test to verify othe...
متن کاملTest Case Generation Based on Use case and Sequence Diagram
We present a comprehensive test case generation technique from UML models. We use the features in UML 2.0 sequence diagram including conditions, iterations, asynchronous messages and concurrent components. In our approach, test cases are derived from analysis artifacts such as use cases, their corresponding sequence diagrams and constraints specified across all these artifacts. We construct Use...
متن کاملFormally-Based Design Evaluation
This paper investigates specification, verification and test generation for synchronous and asynchronous circuits. The approach is called DILL (Digital Logic in LOTOS). DILL models are discussed for synchronous and asynchronous circuits. Relations for (strong) conformance are defined for verifying a design specification against a high-level specification. An algorithm is also outlined for gener...
متن کاملTowards Test Purpose Generation from CTL Properties for Reactive Systems
This paper presents an approach for the generation of test purposes in the form of labelled transition systems from specifications of properties in CTL . The approach is aimed at adapting the model checking process, by extending search algorithms to perform further analysis so that examples and counter-examples can be extracted. An algorithm for the generation of test purposes through analysis ...
متن کاملTrace automaton: an approach to generating partial-order traces
The trace automaton appears to be a useful tool in generating partially-ordered test cases for asynchronous systems. We give an EXPSPACE algorithm which constructs the trace automaton from a given set of asynchronous communicating processes. Conclusions: We introduce the notion of trace automaton of a system of asyn-chronously communicating input-output state machines such that the trace automa...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2010